From Some to All The Basics of Logic in Computers
dev.to·3d·
Discuss: DEV
💭Prolog
Simpler Category Theory
ryanbrewer.dev·23h·
Discuss: Hacker News
🔄Category Theory
DEPTH: Hallucination-Free Relation Extraction via Dependency-Aware Sentence Simplification and Two-tiered Hierarchical Refinement
arxiv.org·8h
🔗Parser Combinators
Modular Arithmetic in Data Science
towardsdatascience.com·2d
🧭SMT Solvers
5 Reviews You Need to Read This Week
bookmarks.reviews·3h
🧮Programming Language Theory
Is this logic sound?
reddit.com·20h·
Discuss: r/compsci
🧭SMT Solvers
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·1d·
Discuss: Hacker News, Hacker News
🧫Cellular Automata
Alphabet of Human Thought
en.wikipedia.org·21h·
Discuss: Hacker News
🧮Programming Language Theory
Implementing Gist Memory: Summarizing and Searching Long Docs with a ReadAgent
inference-docs.cerebras.ai·23h·
Discuss: Hacker News
🔗Parser Combinators
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·2d
🧩Theorem Proving
DeepSeek’s upgraded AI model absorbs reasoning feature in agentic shift - South China Morning Post
news.google.com·1h
🧭SMT Solvers
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·9h·
Discuss: r/rust
🧠Memory Management
Advanced Aerosol Classification via Dynamic Feature Fusion and Bayesian Inference in Cleanroom Monitoring
dev.to·12h·
Discuss: DEV
🎲Probabilistic Programming
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·2d
🧭SMT Solvers
On This Day in Math - August 21
pballew.blogspot.com·8h·
Discuss: www.blogger.com
🧮Programming Language Theory
Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·1h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
how to decide on the sequence of computable numbers
academia.edu·10h·
Discuss: Hacker News, r/programming
📈Complexity Theory
Switch Statements
learn.microsoft.com·5h·
Discuss: DEV
⚙Functional Programming
How to Build a RAG Using Qwen3?
analyticsvidhya.com·23m
🔗Parser Combinators
Chain of Thought
dev.to·22h·
Discuss: DEV
🔧Compiler Design